TSTP Solution File: DAT189^1 by Nitpick---2016